Approximate non-interference

Approximate Non-Interference

We address the problem of characterising the security of a program against unauthorised information flows. Classical approaches are based on non-interference models which depend ultimately on the notion of process equivalence. In these models confidentiality is an absolute property stating the absence of any illegal information flow. We present a model in which the notion of non-interference is...

On Approximate Non-Interference

the principle of non-interference

0

non-linear control distillation column using approximate feedback linearization

Non - Interference on Databases (

Non-Interference on Databases